PHI203   Formal Logic   (20 credits)

Description

The course will start by introducing some elementary concepts from set theory; along the way, we will consider some fundamental and philosophically interesting results and forms of argumentation. It will then examine the use of 'trees' as a method for proving the validity of arguments formalised in propositional and first-order logic. It will also show how we may prove a range of fundamental results about the use of trees within those logics, using certain ways of assigning meanings to the sentences of the languages which those logics employ.

Reading List